1

Monitoring dynamic integrity constraints based on temporal logic

Year:
1987
Language:
english
File:
PDF, 1.60 MB
english, 1987
2

Stepwise specification of dynamic database behaviour

Year:
1986
Language:
english
File:
PDF, 884 KB
english, 1986
6

Transformation of dynamic integrity constraints into transaction specifications

Year:
1990
Language:
english
File:
PDF, 3.33 MB
english, 1990
7

Algebraic domain equations

Year:
1983
Language:
english
File:
PDF, 2.85 MB
english, 1983